|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.ObjectDisCSP.CSP.Variable
| Constructor Summary | |
Variable(java.lang.String n,
Domain d)
Costruttore di Variable |
|
| Method Summary | |
Domain |
getDomain()
Restituisce il dominio della variabile |
java.lang.String |
getName()
Restituisce il nome della variabile |
java.lang.String |
print()
Stampa il nome della variabile e il suo dominio |
java.lang.String |
printDomain()
Stampa il dominio della variabile |
void |
setDomain(Domain d)
Permette di definire il dominio della variabile |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
public Variable(java.lang.String n,
Domain d)
n - il nome della variabiled - il dominio della variabile| Method Detail |
public Domain getDomain()
public java.lang.String getName()
public java.lang.String print()
public java.lang.String printDomain()
public void setDomain(Domain d)
d - il dominio
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||